Quantum sortal predicates
نویسندگان
چکیده
Sortal predicates have been associated with a counting process, which acts as a criterion of identity for the individuals they correctly apply to. We discuss in what sense certain types of predicates suggested by quantum physics deserve the title of ‘sortal’ as well, although they do not characterize either a process of counting or a criterion of identity for the entities that fall under them. We call such predicates ‘quantum-sortal predicates’ and, instead of a process of counting, to them is associated a ‘criterion of cardinality’. After their general characterization, it is discussed how these predicates can be formally described.
منابع مشابه
An Ontology of Meta-Level Categories
We focus in this paper on some meta-level ontological distinctions among unary predicates, like those between concepts and assertional properties. Three are the main contributions of this work, mostly based on a revisitation of philosophical (and linguistic) literature in the perspective of knowledge representation. The first is a formal notion of ontological commitment, based on a modal logic ...
متن کاملOntological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non-sortal). This ontological analysis is an essential notion to deal with properties (or sorts) of objects in knowledge representation and reasoning. In this paper, we propose an extension of an order-sorted logic with th...
متن کاملFormal Ontology and Extensions of Order-Sorted Logic
This paper presents several extensions of order-sorted logic based on the notion of property classification in formal ontology. The refined order-sorted language contains types (as rigid sorts), anti-rigid sorts, and unary predicates in order to distinctly express the following properties: substantial sorts, nonsubstantial sorts, and non-sortal properties. For many separated knowledge bases con...
متن کاملUniversals and Other Generalities
ion’ (Halbfass, 1992, p. 145). That is to say, the abstract noun-phrase ‘is-ness’ is an artificial device, used to mention an entity that resists introduction as either a subject or a predicate, an entity, in other words, which is not itself either a particular or a universal. Existence is not a predicate; it is – to borrow the terminology of Section 5 – a delimitor, albeit a minimal one, of be...
متن کاملOn the Proper Role of Coercion in Semantic Typing
In this paper, we discuss the phenomenon of logical polysemy in natural language as ~ddressed by Gener-ative Lexicon Theory. We discuss generally the role of type and sortal coercion operations in the selnantics, and specifically the conditions on the application of coercion in aspectual predicates and other contexts. We reply to some recent discussion regarding the use of coercion in the gramm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Synthese
دوره 154 شماره
صفحات -
تاریخ انتشار 2007